/*
 * Copyright (c) Huawei Technologies Co., Ltd. 2023-2023.
 * Description: rtos share ipi feature functions
 * Author: huyizhou
 * Create: 2023-09-14
 */

static void arch_show_shared_ipi(struct seq_file *p, int prec)
{
	unsigned int cpu, i;
	for (i = NR_IPI; i < NR_HAL_IPI; i++) {
		unsigned int irq = irq_desc_get_irq(ipi_desc[i]);
		seq_printf(p, "%*s%u:%s", prec - 1, "IPI", i,
			   prec >= 4 ? " " : "");
		for_each_online_cpu(cpu)
			seq_printf(p, "%10u ", kstat_irqs_cpu(irq, cpu));
		seq_printf(p, "\n");
	}
}
